Logic synthesis - PDFSEARCH.IO - Document Search Engine

Logic synthesis
Results: 291

#	Item
201	FMSD manuscript No. (will be inserted by the editor) Ranking Function Synthesis for Bit-Vector Relations Byron Cook · Daniel Kroening · Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2014-07-29 07:28:39 Linear algebra Logic in computer science Proof theory Functions and mappings Vector space Function Presburger arithmetic Linear programming Euclidean vector Mathematics Algebra Abstract algebra
202	UNITED STATES SECURITIES AND EXCHANGE COMMISSION Washington, D.C[removed]________________ AMENDMENT NO. 3 TO Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-24 17:16:08 Integrated circuits Digital electronics Synopsys Timing closure Integrated circuit design Logic synthesis High-level synthesis Physical design Cadence Design Systems Electronic engineering Electronic design automation Electronic design
203	UNITED STATES SECURITIES AND EXCHANGE COMMISSION Washington, D.C[removed]FORM 10-K (Mark One) È Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-24 17:15:59 Integrated circuits Digital electronics Synopsys Cadence Design Systems Mentor Graphics Signoff Logic synthesis Application-specific integrated circuit SystemVerilog Electronic engineering Electronic design automation Electronic design
204	UNITED STATES SECURITIES AND EXCHANGE COMMISSION Washington, D.C[removed]FORM 10-K (Mark One) Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-24 17:15:58 Integrated circuits Hardware verification languages Synopsys Electronic design automation Integrated circuit design Application-specific integrated circuit SystemVerilog Logic synthesis Physical design Electronic engineering Electronics Electronic design
205	UNITED STATES SECURITIES AND EXCHANGE COMMISSION Washington, D.C[removed]________________ Form 10-K [X] Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-24 17:16:08 Integrated circuits Digital electronics Synopsys Timing closure Integrated circuit design High-level synthesis Standard cell Logic synthesis Physical design Electronic engineering Electronic design automation Electronic design
206	Ranking Function Synthesis for Bit-Vector Relations? Byron Cook1 , Daniel Kroening2 , Philipp R¨ ummer2 , and 3 Christoph M. Wintersteiger Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-03-15 15:38:19 Elementary mathematics Logic in computer science Operations research Functions and mappings Presburger arithmetic Vector space Linear programming Function Polynomial Mathematics Algebra Linear algebra
207	UNITED STATES SECURITIES AND EXCHANGE COMMISSION Washington, D.C[removed]FORM 10-K (Mark One) È ANNUAL REPORT PURSUANT TO SECTION 13 OR 15(d) OF THE SECURITIES EXCHANGE ACT OF 1934 Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-24 17:15:58 Hillsboro Oregon Synopsys Hardware verification languages Mentor Graphics Magma Design Automation Cadence Design Systems Logic synthesis SystemVerilog Signoff Electronic engineering Electronic design automation Digital electronics
208	Microsoft PowerPoint - Receiver Technology.ppt Add to Reading List Source URL: directreadout.noaa.gov Language: English - Date: 2005-02-08 12:01:17 Fabless semiconductor companies Field-programmable gate array Digital electronics Application-specific integrated circuit Xilinx Gate array System on a chip Logic synthesis Altera Electronic engineering Electronics Electronic design
209	UNITED STATES SECURITIES AND EXCHANGE COMMISSION Washington, D.C[removed]FORM 10-K As filed on December 17, 2010 and amended on February 9, 2011 Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-24 17:15:58 Hillsboro Oregon Synopsys Digital electronics Mentor Graphics Magma Design Automation Cadence Design Systems Logic synthesis SystemVerilog Signoff Electronic engineering Electronic design automation Electronic design
210	Abductive Thinking and Sensemaking: The Drivers of Design Synthesis Jon Kolko 1 Add to Reading List Source URL: designmind.frogdesign.com Language: English - Date: 2013-11-04 17:07:26 Philosophy of science Philosophical logic Architectural design Charles Sanders Peirce Logic Sensemaking Abductive reasoning Inquiry Design methods Philosophy Science Knowledge

UPDATE